首页>
外文OA文献
>Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
【2h】
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
To appear in: Special Issue: Frontier Between Decidability and Undecidability and Related Problems, International Journal of Foundations of Computer Science.
展开▼